منابع مشابه
Mobilization Forum: Awkward Movements
Several years ago, Gay Seidman complained in an article in Mobilization that scholars of the South African antiapartheid movement had so ignored the role of armed struggle as to leave the impression that the movement and its most famous leader, Nelson Mandela, were nonviolent in the Gandhian mold. In fact, Mandela was the first military commander of the African National Congress. He owed his po...
متن کاملOn Axiom Systems of Pseudo-BCK Algebras
A symplified axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms defining bounded commutative pseudoBCK algebras and show that these axioms are independent (that is, none follows from the others). 2010 Mathematics Subject Classification: 03G25, 06F05, 06F35
متن کاملThe Bounded Axiom A Forcing Axiom
We introduce the Bounded Axiom A Forcing Axiom(BAAFA). It turns out that it is equiconsistent with the existence of a regular Σ2-correct cardinal and hence also equiconsistent with BPFA. Furthermore we show that, if consistent, it does not imply the Bounded Proper Forcing Axiom(BPFA).
متن کامل“ Horrible Impossible ” : Henry James ’ s Awkward Stage
It was not irritation he appeared to express, but the slight strain of an effort to get into relation with the subject. Better to focus the image he closed his eyes awhile. —The Awkward Age (207) In a now-familiar account of Henry James's career, the failure in the theater so spectacularly marked by the Guy Domville debacle of 1895 sent the bruised novelist back to the consolations of fiction a...
متن کاملDealing with Zero-Time Transitions in Axiom Systems
In the modelization of time-dependent systems it is often useful to use the abstraction of zero-time transitions, i.e., changes of system state that occur in a time that can be neglected with respect to the whole dynamics of system evolution. Such an abstraction, however, sometimes generates critical situations in the formal system analysis. This may lead to limitations or unnatural use of such...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1978
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093888329